formalized computer

英 [ˈfɔːməlaɪzd kəmˈpjuːtə(r)]

美 [ˈfɔːrməlaɪzd kəmˈpjuːtər]

形式化计算机

计算机

双语例句

• This paper also proposed a descriptive language of formal rules based on BNF and production rule, formalized the processing rules for consecutive verb and implemented the rules by computer program.
  同时，还提出了一种基于BNF范式和产生式规则的形式化规则描述语言，完成了对规则的形式化描述和软件实现。